201. Applications scientifiques de la logique mathematique : actes du 2e colloque international de logique mathematique, Paris, 25-30 Aout 1952
پدیدآورنده : Henri Poincare
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
BC
131
.
C65
202. Applied artificial intelligence
پدیدآورنده : / edited by Da Ruan ... [et al.]
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Computational intelligence, Congresses,Nuclear physics, Mathematics, Congresses,Nuclear engineering, Mathematics, Congresses,Fuzzy logic, Congresses,Artificial intelligence, Congresses
رده :
Q342
.
I57
2006
203. Applied artificial intelligence :proceedings of the 7th International FLINS Conference, Genova, Italy, 29-31 August 2006
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : Congresses ، Computational intelligence,Congresses ، Nuclear physics - Mathematics,Congresses ، Nuclear engineering - Mathematics,Congresses ، Fuzzy logic,Congresses ، Artificial intelligence
رده :
Q
342
.
I57
2006
204. Applied computational intelligence :
پدیدآورنده : edited by Da Ruan [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Fuzzy logic, Congresses.,Nuclear engineering-- Mathematics, Congresses.,Computational intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Fuzzy logic.,Nuclear engineering-- Mathematics.
رده :
Q342
.
I58
2004eb
205. Applied computational intelligence: proceedings of the 6th International FLINS Conference, Blankenberge, Belgium, September 1-3, 2004
پدیدآورنده : edited by Da Ruan...]et al.[
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Computational intelligence,Congresses ، Fuzzy logic,Congresses ، Nuclear engineering - Mathematics
رده :
Q
342
.
I57
206. Applied reconfigurable computing : architectures, tools, and applications :
پدیدآورنده : edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.
رده :
QA76
.
9
.
A3
207. Architecture and design of molecule logic gates and atom circuits :
پدیدآورنده : Nicolas Lorente, Christian Joachim.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic design -- Congresses.,Molecular electronics -- Congresses.,Molecular integrated circuits -- Congresses.
رده :
TK7874
.
8
N536
2013
208. Architecture of computing systems -- ARCS 2018 :
پدیدآورنده : Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer architecture & logic design.,Computer architecture.,Computer networking & communications.,Computers-- Data Transmission Systems-- Electronic Data Interchange.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Network hardware.,Operating systems.,Systems analysis & design.
رده :
QA76
.
9
.
A73
A72
2018eb
209. Argumentation :
پدیدآورنده : edited by E.M. Barth & J.L. Martens
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Congresses,Reasoning, Congresses
رده :
BC5
.
G76
1978
210. Argumentation in multi-agent systems
پدیدآورنده : Peter McBurney, Simon Parsons, Iyad Rahwan (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer logic, Congresses,Multiagent systems, Congresses
رده :
QA76
.
76
.
I58
A74
2011eb
211. Argumentation in multi-agent systems :
پدیدآورنده : Peter McBurney ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Intelligent agents (Computer software), Congresses.,Logic, Congresses.
212. Argumentation in multi-agent systems
پدیدآورنده : / Peter McBurney ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Intelligent agents (Computer software), Congresses,Logic, Congresses
رده :
QA76
.
76
.
I58A73
2009
213. Argumentation in multi-agent systems :
پدیدآورنده : Peter McBurney, Iyad Rahwan, Simon Parsons (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Intelligent agents (Computer software), Congresses,Logic, Congresses
رده :
QA76
.
76
.
I58
A73
2010eb
214. Argumentation in multi-agent systems : Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005 : revised selected and invited papers
پدیدآورنده : Simon Parsons...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Congresses ، Logic
رده :
QA
76
.
L28
Vol
.
4049
215. Argumentation in multi-agent systems : first International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004 : revised selected and invited papers
پدیدآورنده : Iyad Rahwan, Pavlos Moraitis, Chris Reed )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Congresses ، Logic
رده :
QA
76
.
L28
Vol
.
3366
216. Artificial Intelligence and Security :
پدیدآورنده : edited by Xingming Sun, Zhaoqing Pan, Elisa Bertino.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Cloud computing-- Security measures, Congresses.,Artificial intelligence.
رده :
QA76
.
9
.
A25
I23
2019
217. Artificial intelligence :
پدیدآورنده : edited by Sergei O. Kuznetsov, Gennady S. Osipov, Vadim L. Stefanuk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Software Engineering.,Artificial intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.
رده :
Q334
218. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings
پدیدآورنده : Jacques Calmet, Jan Plaza )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1476
219. Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
پدیدآورنده : John A. Campbell, Eugenio Roanes-Lozano )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1930
220. Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
پدیدآورنده : Bruno Buchberger, John A. Campbell )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3249
